Automating Boundary Filling in Cubical Type Theories
arxiv.org·2d
🔶Cubical Type Theory
Thinking in Hoses and Wires, Not Bolted Gears (Protocol-Driven Development)
github.com·11h·
Discuss: Hacker News
🌐Protocol Synthesis
Cactus Language • Pragmatics 9
inquiryintoinquiry.com·2d
📝Concrete Syntax
Semantic Refinement/Dependent Typing for Knuckledragger/SMTLIB Pt 1
philipzucker.com·3d·
Discuss: Hacker News
💧Liquid Types
In Support Of Shitty Types
lucumr.pocoo.org·2d·
Discuss: Lobsters, Hacker News
🎯Gradual Typing
Build a Mini-FastAPI from Scratch: Learn ASGI & Routing Internals
dev.to·10h·
Discuss: DEV
⚡gRPC
GHC Developer Blog: GHC 9.10.3-rc2 is now available
haskell.org·1d
🔗Functional Compilers
Using Closures to Extend Class Behavior Without Breaking Encapsulation
hackernoon.com·1d
🔬Refinement Types
Vibe coding to Chomksy: will linguistics pop off in a world full of prompting?
aymannadeem.com·9h·
Discuss: Hacker News
💻Programming languages
How To Solve Every Programming Problem
blog.codeminer42.com·6h
📐Interval Arithmetic
Interest(s)
languagelog.ldc.upenn.edu·5h
🔤Morphological Analysis
Light-IF: Endowing LLMs with Generalizable Reasoning via Preview and Self-Checking for Complex Instruction Following
arxiv.org·22h
📏Linear Logic
Python performance myths and fairy tales
lwn.net·17h·
Discuss: Lobsters, Hacker News
💻Programming languages
Why Computer Science Is No Good, Redux
cacm.acm.org·1d
🎯Performance Proofs
Linear Types for Programmers
twey.io·4d·
Discuss: Hacker News
🔒Linear Types
Challenges of Pseudocode Expansion
funcall.blogspot.com·2d·
Discuss: www.blogger.com
🔗Lisp
Thinking Clearly with LLMs: Mental Models and Cognitive Pitfalls in Prompt Engineering
dev.to·9h·
Discuss: DEV
⚡Proof Automation
What Are Mixin Classes in Python?
realpython.com·12h
🔬Refinement Types
How the Lean language brings math to coding and coding to math
amazon.science·1d·
Discuss: Hacker News
🔬Lean
An explorer and visualizer for Go concurrency patterns
golangweekly.com·1d
🦀Rust Macros